Let us play: (un)shackling liaisons, (un)masking games and (un)hindered dialogue in the arena where theology takes place
نویسندگان
چکیده
منابع مشابه
Totality in arena games
We tackle the problem of preservation of totality by composition in arena games. We first explain how this problem reduces to a finiteness theorem on what we call pointer structures, similar to the parity pointer functions of Harmer, Hyland & Melliès and the interaction sequences of Coquand. We discuss how this theorem relates to normalization of linear head reduction in simply-typed λ-calculus...
متن کاملDialogue games that agents play within a society
Human societies have long used the capability of argumentation and dialogue to overcomeand resolve conflicts that may arise within their communities. Today, there is an increasinglevel of interest in the application of such dialogue games within artificial agent societies. Inparticular, within the field of multi-agent systems, this theory of argumentation and dialoguegames has b...
متن کاملGames Where You Can Play Optimally Without Any Memory
Reactive systems are often modelled as two person antagonistic games where one player represents the system while his adversary represents the environment. Undoubtedly, the most popular games in this context are parity games and their cousins (Rabin, Streett and Muller games). Recently however also games with other types of payments, like discounted or mean-payoff [5,6], previously used only in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Verbum et Ecclesia
سال: 2017
ISSN: 2074-7705,1609-9982
DOI: 10.4102/ve.v38i3.1659